interdéfinissable

● interdéfinissable adjectif Symboles interdéfinissables, symboles dont l'un peut se définir à partir de l'autre et réciproquement. (Les quantificateurs ∃ et ∀ sont interdéfinissables.) ● interdéfinissable (expressions) adjectif Symboles interdéfinissables, symboles dont l'un peut se définir à partir de l'autre et réciproquement. (Les quantificateurs ∃ et ∀ sont interdéfinissables.)

interdéfinissable [ɛ̃tɛʀdefinisabl] adj.

ÉTYM. XX^e; de inter-, et définissable.

❖

♦ Didact. Se dit de termes, d'opérateurs logiques qui peuvent se définir les uns par les autres.

0 (…) tous les binaires peuvent être définis, avec l'aide de la négation, par l'un quelconque de ces trois (binaires : conjonction, disjonction, implication), lesquels sont ainsi interdéfinissables (…)

R. Blanché, Introd. à la logique contemporaine, p. 51.

Encyclopédie Universelle. 2012.